哈特里方程 提出时间